<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>



<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<LINK rel="stylesheet" type="text/css" href="tutorial.css">
<TITLE>
Searching for Feasible Solutions
</TITLE>
</HEAD>
<BODY >
<A HREF="tutorial059.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="tutorial053.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="tutorial061.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>

<H2 CLASS="section"><A NAME="htoc125">8.7</A>&nbsp;&nbsp;Searching for Feasible Solutions</H2>
<DL CLASS="description" COMPACT=compact><DT CLASS="dt-description">
<B>indomain(+DVar)</B><DD CLASS="dd-description">
<A NAME="@default221"></A>
This predicate instantiates the domain variable <I>DVar</I> to an
element of its domain; on backtracking the subsequent value is taken.
It is used, for example, to find a value of <I>DVar</I> which is consistent
with all currently imposed constraints.
If <I>DVar</I> is a ground term, it succeeds.
Otherwise, if it is not a domain variable, an error is raised.<BR>
<BR>
<DT CLASS="dt-description"><B>labeling(+List)</B><DD CLASS="dd-description">
<A NAME="@default222"></A>
<A NAME="@default223"></A>
The elements of the <I>List</I> are instantiated using the
<CODE>indomain/1</CODE> predicate.
</DL>
<DL CLASS="description" COMPACT=compact><DT CLASS="dt-description">
<B>&#8857;</B><DD CLASS="dd-description"> <FONT COLOR="#9832CC">Additional information on search algorithms, heuristics and their 
use in ECL</FONT><SUP><FONT COLOR="#9832CC"><I>i</I></FONT></SUP><FONT COLOR="#9832CC">PS</FONT><SUP><FONT COLOR="#9832CC"><I>e</I></FONT></SUP><FONT COLOR="#9832CC"> can be found in chapter&nbsp;</FONT><A HREF="tutorial086.html#chapsearch"><FONT COLOR="#9832CC">12</FONT></A><FONT COLOR="#9832CC">.</FONT>
</DL>

<HR>
<A HREF="tutorial059.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="tutorial053.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="tutorial061.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
